منابع مشابه
Division Algebras and Supersymmetry III
Recent work applying higher gauge theory to the superstring has indicated the presence of ‘higher symmetry’. Infinitesimally, this is realized by a ‘Lie 2-superalgebra’ extending the Poincaré superalgebra in precisely the dimensions where the classical superstring makes sense: 3, 4, 6 and 10. In the previous paper in this series, we constructed this Lie 2-superalgebra using the normed division ...
متن کاملRealizability algebras III: some examples
The notion of realizability algebra, which was introduced in [17, 18], is a tool to study the proof-program correspondence and to build new models of set theory, which we call realizability models of ZF. It is a variant of the well known notion of combinatory algebra, with a new instruction cc, and a new type for the environments. The sets of forcing conditions, in common use in set theory, are...
متن کاملNilpotent symplectic alternating algebras III
A symplectic alternating algebra (SAA) is a symplectic vector space L, whose associated alternating form is non-degenerate, that is furthermore equipped with a binary alternating product · : L× L 7→ L with the extra requirement that (x · y, z) = (y · z, x) for all x, y, z ∈ L. This condition can be expressed equivalently by saying that (u · x, v) = (u, v · x) for all u, v, x ∈ L or in other wor...
متن کاملGNCGCP - Graduated NonConvexity and Graduated Concavity Procedure
In this paper we propose the Graduated NonConvexity and Graduated Concavity Procedure (GNCGCP) as a general optimization framework to approximately solve the combinatorial optimization problems on the set of partial permutation matrices. GNCGCP comprises two sub-procedures, graduated nonconvexity (GNC) which realizes a convex relaxation and graduated concavity (GC) which realizes a concave rela...
متن کاملNormal Filters in BL-Algebras
In this paper we introduced the notion of normal filter in BL-algebras and we stated and proved some theorems which determine the relationship between this notion and other filters of BL-algebras and by some examples we show that this notion is different. Also we consider some relations between these filters and quotient algebras that are constructed via these filters. AMS subject classificatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algebra
سال: 1994
ISSN: 0021-8693
DOI: 10.1006/jabr.1994.1326